翻訳と辞書 Words near each other ・ Objecteering ・ ObjectiF ・ Objectif et action Mutualistes ・ Objectif Exhibitions ・ Objectification ・ Objectified ・ Objectifs ・ ObjecTime ・ ObjecTime Developer ・ Objection ・ Objection (argument) ・ Objection (law) ・ Objection (Tango) ・ Objection Overruled ・ Objection overruled (disambiguation) ・ OBJ (programming language) ・ OBJ2 ・ OBJ3 ・ Obja ・ Objat ・ Objazda, Opole Voivodeship ・ Objazda, Pomeranian Voivodeship ・ Objazda-Kolonia ・ Objdump ・ Object ・ Object (computer science) ・ Object (grammar) ・ Object (image processing) ・ Object (philosophy) ・ Object 100 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク OBJ (programming language) ： ウィキペディア英語版 OBJ (programming language) OBJ is a programming language family introduced by Joseph Goguen in 1976. A family of declarative "ultra high-level" languages. Abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine). Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3. ==See also== * Automated theorem proving * Formal methods 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「OBJ (programming language)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.